Local programming

Results: 648



#Item
111Computing / Constraint satisfaction / Local consistency / Common subexpression elimination / Constraint algorithm / Constraint logic programming / Constraint programming / Software engineering / Computer programming

Common Subexpression Elimination in Automated Constraint Modelling Ian P. Gent and Ian Miguel and Andrea Rendl1 Abstract. Typically, there are many alternative models of a given problem as a constraint satisfaction probl

Add to Reading List

Source URL: andrearendl.com

Language: English - Date: 2013-08-29 08:24:26
112Scheduling / Local area networks / Computer memory / Application programming interfaces / Remote direct memory access / Message Passing Interface / InfiniBand / Barrier / Blocking / Computing / Concurrent computing / Parallel computing

Overlapping Computation and Communication: Barrier Algorithms and ConnectX-2 CORE-Direct Capabilities Richard L. Graham, Steve Poole Oak Ridge National Laboratory (ORNL) Oak Ridge, TN, USA Email: {rlgraham,spoole}@ornl.g

Add to Reading List

Source URL: www.csm.ornl.gov

Language: English - Date: 2010-05-20 06:50:02
113Applied mathematics / Mathematical optimization / Local consistency / Constraint satisfaction / NP-complete / Computational complexity theory / P versus NP problem / NP / Complexity of constraint satisfaction / Constraint programming / Theoretical computer science / Complexity classes

Constraints DOIs10601The Complexity of Reasoning with Global Constraints Christian Bessiere · Emmanuel Hebrard · Brahim Hnich · Toby Walsh

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2010-11-22 06:22:29
114Business / Constraint optimization / Mathematical optimization / Artificial intelligence / Search algorithm / Scheduling / Constraint satisfaction / Constraint programming / Computing / Local consistency

INFORMS INFORMS JOURNAL ON COMPUTING Vol. 00, No. 0, Xxxxx 0000, pp. 000–000 issn | eissn | 00 | 0000 | 0001

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2014-10-10 03:40:25
115Computing / Constraint satisfaction / Local consistency / Constraint optimization / Mathematical optimization / Lagrange multiplier / Constraint / Linear programming / SCIP / Constraint programming / Software engineering / Computer programming

Principles of Constraint Programming By Krzysztof R. Apt. Cambridge University Press, Cambridge, 2003. GBPxii + 407 pp., hardcover. ISBNConstraint Processing By Rina Dechter. Morgan Kaufmann Publi

Add to Reading List

Source URL: www.ics.uci.edu

Language: English - Date: 2008-09-08 14:26:40
116Computing / Local consistency / Constraint satisfaction problem / Constraint satisfaction / Maximum flow problem / Constraint inference / Constraint programming / Software engineering / Computer programming

Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints∗ Christian Bessiere LIRMM, CNRS and U. Montpellier

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2010-11-22 06:22:28
117Mathematical optimization / Constraint satisfaction problem / Constraint satisfaction / Local consistency / Decomposition method / Linear programming relaxation / Constraint programming / Software engineering / Computer programming

The Thousand Faces of Constraint Propagation Emmanuel Hebrard Toulouse

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2014-03-05 12:20:11
118Artificial intelligence / Minion / Applied mathematics / Local consistency / PROPT / Constraint programming / Computing / Constraint satisfaction

Tailoring Solver-independent Constraint Models: A Case Study with Essence0 and Minion Ian P. Gent, Ian Miguel and Andrea Rendl School of Computer Science, University of St Andrews, UK {ipg, ianm, andrea} @cs.st-andrews.a

Add to Reading List

Source URL: andrearendl.com

Language: English - Date: 2013-08-29 08:24:54
119Applied mathematics / Parameterized complexity / Constraint satisfaction problem / Constraint satisfaction / Idempotence / Local consistency / P versus NP problem / Sheaf / Complexity of constraint satisfaction / Constraint programming / Mathematics / Theoretical computer science

On Backdoors To Tractable Constraint Languages Clement Carbonnel1,3 , Martin C. Cooper2 , and Emmanuel Hebrard1 1 3

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2014-05-28 03:24:32
120Logic programming / Constraint satisfaction / Local consistency / Common subexpression elimination / SCIP / ECLiPSe / Constraint programming / Declarative programming / Software engineering

Automatically Enhancing Constraint Model Instances during Tailoring Andrea Rendl, Ian Miguel, Ian P. Gent Chris Jefferson School of Computer Science, University of St Andrews, UK

Add to Reading List

Source URL: andrearendl.com

Language: English - Date: 2013-08-29 08:25:07
UPDATE